Correctness of Constraint-Aware Model Transformations
نویسندگان
چکیده
Model transformations are important in Model Driven Engineering (MDE). They automate software development steps and greatly improve productivity and reduce software errors. However, the design of model transformation rules requires lots of manual work. To fully take advantage of MDE, correctness of model transformation rules should be ensured. In this paper, we present an ongoing work to use model checking techniques to validate model transformation rules. The work also studies how rule application strategies affect correctness and efficiency of model transformations.
منابع مشابه
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic concept where visual languages are defined by attributed type graphs only and model transformations by basic typed attributed graph transformation systems. We continue with different kinds of extensions of the basic concept...
متن کاملConstraint-based specification of model transformations
Model transformations are a central element of model-driven development (MDD) approaches. The correctness, modularity and flexibility of model transformations is critical to their effective use in practical software development. In this paper we describe an approach for the automated derivation of correct-by-construction transformation implementations from high-level specifications. We illustra...
متن کاملSemantics of Database Transformations
Database transformations arise in many different settings including database integration, evolution of database systems, and implementing user views and data entry tools. This paper surveys approaches that have been taken to problems in these settings, assesses their strengths and weaknesses, and develops require ments on a formal model for specifying and implementing database transformations. ...
متن کاملPropagation of Constraints along Model Transformations Based on Triple Graph Grammars
Model transformations based on triple graph grammars (TGGs) have been applied in several practical case studies and they convince by their intuitive and descriptive way of specifying bidirectional model transformations. Moreover, fundamental properties have been extensively studied including syntactical correctness, completeness, termination and functional behaviour. But up to now, it is an ope...
متن کاملAspect-oriented Constraint Management in Metamodel-based Model Transformation Steps
A widely applied approach to model transformation uses graph rewriting as the underlying transformation technique. In case of diagrammatic languages, such as the Unified Modeling Language (UML), the exclusive topological matching is found to be not enough. To define the transformation steps precisely beyond the structure of the visual models, additional constraints must be specified which ensur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011